On the NP-Completeness of the Minimum Circuit Size Problem
نویسندگان
چکیده
We study the Minimum Circuit Size Problem (MCSP): given the truth-table of a Boolean function f and a number k, does there exist a Boolean circuit of size at most k computing f? This is a fundamental NP problem that is not known to be NP-complete. Previous work has studied consequences of the NP-completeness of MCSP. We extend this work and consider whether MCSP may be complete for NP under more powerful reductions. We also show that NP-completeness of MCSP allows for amplification of circuit complexity. We show the following results. • If MCSP is NP-complete via many-one reductions, the following circuit complexity amplification result holds: If NP∩co-NP requires 2nΩ(1)-size circuits, then E requires 2-size circuits. • If MCSP is NP-complete under truth-table reductions, then EXP 6= NP ∩ SIZE(2 ) for some > 0 and EXP 6= ZPP. This result extends to polylog Turing reductions.
منابع مشابه
NP-hardness of Minimum Circuit Size Problem for OR-AND-MOD Circuits
The Minimum Circuit Size Problem (MCSP) asks for the size of the smallest boolean circuit that computes a given truth table. It is a prominent problem in NP that is believed to be hard, but for which no proof of NP-hardness has been found. A significant number of works have demonstrated the central role of this problem and its variations in diverse areas such as cryptography, derandomization, p...
متن کاملMinimum Eulerian circuits and minimum de Bruijn sequences
Given a digraph (directed graph) with a labeling on its arcs, we study the problem of finding the Eulerian circuit of lexicographically minimum label. We prove that this problem is NP-complete in general, but if the labelling is locally injective (arcs going out from each vertex have different labels), we prove that it is solvable in linear time by giving an algorithm that constructs this circu...
متن کاملOn the complexity of cell flipping in permutation diagrams and multiprocessor scheduling problems
Permutation diagrams have been used in circuit design to model a set of single point nets crossing a channel, where the minimum number of layers needed to realize the diagram equals the clique number (G) of its permutation graph, the value of which can be calculated in O(n log n) time. We consider a generalization of this model motivated by “standard cell” technology in which the numbers on eac...
متن کاملOn the (Non) NP-Hardness of Computing Circuit Complexity
The Minimum Circuit Size Problem (MCSP) is: given the truth table of a Boolean function f and a size parameter k, is the circuit complexity of f at most k? This is the definitive problem of circuit synthesis, and it has been studied since the 1950s. Unlike many problems of its kind, MCSP is not known to be NP-hard, yet an efficient algorithm for this problem also seems very unlikely: for exampl...
متن کاملMinimum Feedback Vertex Set in k - Dimensional Hypercubes Riccardo
In this paper we nd upper and lower bounds to the size of the feedback vertex set for k-dimensional hypercubes. Given a graph, the minimum feedback vertex set problem consists of nding a subset of vertices of minimum size whose removal induces an acyclic subgraph. The problem is NP-hard for general networks 2], but interesting polynomial solutions have been found for particular
متن کامل